derive the number of diagonals formula